home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / cycquads.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.5 KB  |  40 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.009576, -0.00684, .invisible, "4");
  3. v2 = .free(0.740082, -0.004104, .invisible, "5");
  4. c1 = .c.vv(v1, v2, .magenta);
  5. v3 = .vonc(c1, 0.018937, -0.755961, .yellow, .plus);
  6. v4 = .vonc(c1, 0.659398, -0.345172, .yellow, .plus);
  7. v5 = .vonc(c1, -0.123777, 0.734074, .yellow, .plus);
  8. v6 = .vonc(c1, -0.714459, -0.262056, .yellow, .plus);
  9. l1 = .l.vv(v6, v3, .red);
  10. l2 = .l.vv(v3, v4, .red);
  11. l3 = .l.vv(v4, v5, .red);
  12. l4 = .l.vv(v5, v6, .red);
  13. v7 = .v.vvmid(v6, v3, .red);
  14. v8 = .v.vvmid(v3, v4, .red);
  15. v9 = .v.vvmid(v4, v5, .red);
  16. v10 = .v.vvmid(v5, v6, .red);
  17. l5 = .l.vlperp(v8, l4, .invisible, .longline);
  18. l6 = .l.vlperp(v10, l2, .invisible, .longline);
  19. l7 = .l.vlperp(v9, l1, .invisible, .longline);
  20. l8 = .l.vlperp(v7, l3, .invisible, .longline);
  21. v11 = .v.lc(l6, c1, 1, .invisible);
  22. v12 = .v.lc(l5, c1, 1, .invisible);
  23. v13 = .v.lc(l8, c1, 1, .invisible);
  24. v14 = .v.lc(l7, c1, 1, .invisible);
  25. v15 = .v.lc(l6, c1, 2, .invisible);
  26. v16 = .v.lc(l5, c1, 2, .cyan);
  27. v17 = .v.lc(l8, c1, 2, .invisible);
  28. v18 = .v.lc(l7, c1, 2, .invisible);
  29. l9 = .l.vv(v14, v18, .cyan);
  30. l10 = .l.vv(v11, v15, .cyan);
  31. l11 = .l.vv(v16, v12, .cyan);
  32. l12 = .l.vv(v13, v17, .cyan);
  33. .text("Cyclic Quadrilateral:");
  34. .text("");
  35. .text("Given an arbitrary quadrilateral inscribed in a circle,");
  36. .text("if prependiculars are dropped from the midpoint of each");
  37. .text("side to the opposite side, all those perpendiculars meet");
  38. .text("in a point.  The yellow points can be moved to try");
  39. .text("different quadrilaterals.");
  40.